2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Rewriting Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Lecture Notes in Computer Science)
Автор:
Hubert Comon-Lundh
, Автор:
Claude Kirchner
, Автор:
Helene Kirchner
Категория:
Компьютеры
Размер книги: 2.95 Mb
CAAP 96 Trees in Algebra and Programming 21 conf
Автор:
Helene Kirchner
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 2.83 Mb
Algebraic and Logic Programming
Автор:
Helene Kirchner
, Автор:
Giorgio Levi
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 4.75 Mb
Algebraic and Logic Programming
Автор:
Helene Kirchner
, Автор:
Wolfgang Wechler
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 3.44 Mb
Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings
Автор:
Claude Kirchner
, Автор:
Helene Kirchner
Размер книги: 7.65 Mb
Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings
Автор:
Claude Kirchner
, Автор:
Helene Kirchner
Размер книги: 9.67 Mb
Frontiers of Combining Systems: Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings
Автор:
Helene Kirchner
, Автор:
Christophe Ringeissen
Размер книги: 2.91 Mb
Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, ...
Автор:
Helene Kirchner
, Автор:
Christophe Ringeissen
Размер книги: 7.39 Mb
